2

Run-Time Checking of Dynamic Properties

Year:
2006
Language:
english
File:
PDF, 324 KB
english, 2006
3

Formalizing Java-MaC

Year:
2003
Language:
english
File:
PDF, 243 KB
english, 2003